10.1.3 결정론적 오라클 작동을 위한 데이터셋의 필수 요건: 불변성(Invariance)과 커버리지